Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
polyspace
1
code verification
1 ?
 21,213,375 websites (safe search)

  1. PolySpace Products for Embedded Software Verification - Ada, C/C++, Simulink, Model-Based Design, UML, TargetLink, Rhapsody

    PolySpace products verify C, C++, and Ada embedded code by detecting run-time errors before code is compiled and executed. This advanced verification technology ...
    C++3
    Ada2
    UML2
    Rhapsody1
    Simulink1
    bug detection1
    PolySpace1
    TargetLink1
    code verification1
    Model-Based Design1
    run-time errors1
    Embedded Software Verification1

    www.my-polyspace.com - 2009-04-02

software development3 rhapsody1 java4 data acquisition2 thin-client1 music7 application3 j2ee2 simulink1 simulation2 itunes2 uml2 development5 targetlink1 software7 matlab1 radius31 c++3 napster1 model-based design1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.